﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Diagnostics.Contracts;

namespace SoftwareEngineering.Modeling
{
  public interface IRootProvider
  {
    ModelBase Root { get; }
  }

  public class RootProvider : IRootProvider
  {
    public RootProvider(ModelBase root)
    {
      Contract.Requires(root != null);

      Root = root;
    }

    public ModelBase Root
    {
      get;
      private set;
    }
  }
}
